PP Is Closed under Intersection
نویسندگان
چکیده
In his seminal paper on probabilistic Turing machines, Gill 13] asked whether the class PP is closed under intersection and union. We give a positive answer to this question. We also show that PP is closed under a variety of polynomial-time truth-table reductions. Consequences in complexity theory include the deenite collapse and (assuming P 6 = PP) separation of certain query hierarchies over PP. Similar techniques allow us to combine several threshold gates into a single threshold gate. Consequences in the study of circuits include the simulation of circuits with a small number of threshold gates by circuits having only a single threshold gate at the root (perceptrons), and a lower bound on the number of threshold gates needed to compute the parity function.
منابع مشابه
PP is Closed Under Truth-Table Reductions
Beigel, Reingold and Spielman 2] showed that PP is closed under intersection and a variety of special cases of polynomial-time truth-table closure. We extend the techniques in 2] to show PP is closed under general polynomial-time truth-table reductions. We also show that PP is closed under constant-round truth-table reductions.
متن کاملGap-Definability as a Closure Property
Gap-definability and the gap closure operator were defined by S. Fenner, L. Fortnow and S. Kurth (J. Comput. System Sci. 48, 116 148 (1994)). Few complexity classes were known at that time to be gapdefinable. In this paper, we give simple characterizations of both gapdefinability and the gap-closure operator, and we show that many complexity classes are gap-definable, including P, P, PSPACE, EX...
متن کاملGap-deenability as a Closure Property ?
Gap-deenability and the gap-closure operator were deened in FFK91]. Few complexity classes were known at that time to be gap-deenable. In this paper, we give simple characterizations of both gap-deenability and the gap-closure operator, and we show that many complexity classes are gap-deenable, including P #P , P #P1] , PSPACE, EXP, NEXP, MP, and BP P. If a class is closed under union, intersec...
متن کاملOn the Power of One Bit of a #P Function
We introduce the class MP of languages L which can be solved in polynomial time with an oracle for one selected bit of the value f (y) of a #P function f on a selected argument y. This extends the much-studied language classes P and PP, which correspond to the power of the least and most signiicant bits, respectively. We show that MP is captured by the power of the middle bit; namely: a languag...
متن کاملQuantum Computing, Postselection, and Probabilistic Polynomial-Time
I study the class of problems efficiently solvable by a quantum computer, given the ability to ‘postselect’ on the outcomes of measurements. I prove that this class coincides with a classical complexity class called PP, or probabilistic polynomial-time. Using this result, I show that several simple changes to the axioms of quantum mechanics would let us solve PP-complete problems efficiently. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 50 شماره
صفحات -
تاریخ انتشار 1995